Change default scheduler in user's manual (from sedf to credit).
authorack@localhost.localdomain <ack@localhost.localdomain>
Thu, 3 Aug 2006 14:05:54 +0000 (15:05 +0100)
committerack@localhost.localdomain <ack@localhost.localdomain>
Thu, 3 Aug 2006 14:05:54 +0000 (15:05 +0100)
commit72879391fb78a641b946e8b9e4edcb67e0945278
treeb8fc556f410078cc65c5e25e871e12b8f25532c0
parent96eeda192e6271ff79dc6ba5ba7a586d67b6d535
Change default scheduler in user's manual (from sedf to credit).
Signed-off-by: Atsushi SAKAI <sakaia@jp.fujitsu.com>
docs/src/user.tex